- функтор сопряжения
- conjugate functor мат.
Русско-английский научно-технический словарь Масловского. 2015.
Русско-английский научно-технический словарь Масловского. 2015.
СОПРЯЖЕННЫЙ ФУНКТОР — понятие, выражающее универсальность и естественность многих важных математич. конструкций: свободных универсальных алгебр, различных пополнений, прямых и обратных пределов и т. д. Пусть одноместный ковариантный функтор из категории в категорию… … Математическая энциклопедия
ТРОЙКА — монада, в категории моноид в категории функторов. Другими словами, Т. в категории наз. ковариантный функтор снабженный такими естественными преобразованиями и что следующие диаграммы коммутативны (здесь обозначает тождественный функтор категории… … Математическая энциклопедия
Сопряжённые функторы — в математике и в частности в теорий категорий это пара функторов, состоящих в определённом соотношении между собой. Сопряжённые функторы часто встречаются в разных областях математики. Неформально функторы F и G сопряжены, если они… … Википедия
СИМПЛИЦИАЛЬНОЕ МНОЖЕСТВО — (прежние названия полусимплициальный комплекс, полный полусимплициальный комплекс) симплициальный объект категории множеств Ens, т. е. система множеств (n х слоев) , связанных отображениями , (операторами граней), и si: К п Kn+1, (операторами… … Математическая энциклопедия
МНОГООБРАЗИЕ — категорий понятие, аналогичное понятию многообразия универсальных алгебр. Пусть бикатегория с произведениями. Полная подкатегория категории наз. многообразием, если она удовлетворяет следующим условиям: а) если допустимый мономорфизм и б) если… … Математическая энциклопедия
Пучок (математика) — У этого термина существуют и другие значения, см. Пучок. Пучки используются для установления отношений между локальными и глобальными данными. По этой причине они играют значительную роль в топологии, дифференциальной геометрии и алгебраической… … Википедия